Modern mathematical logic / Joseph Mileti

• Autore: Mileti, Joseph
• Pubblicazione: Cambridge, : Cambridg university, 2023
• Descrizione fisica: xiv, 502 p. : ill. ; 27 cm
• Soggetto topico: 03-XX - Mathematical logic and foundations [MSC 2020]; 03B05 - Classical propositional logic [MSC 2020]; 03Dxx - Computability and recursion theory [MSC 2020]; 03Cxx - Model theory [MSC 2020]; 03E30 - Axiomatics of classical set theory and its fragments [MSC 2020]; 03F40 - Gödel numberings and issues of incompleteness [MSC 2020]; 03E10 - Ordinal and cardinal numbers [MSC 2020]; 03B10 - Classical first-order logic [MSC 2020]
• Soggetto non controllato: Categories and Sets; Logic; Mathematics; Philosophy
• Titolo autorizzato: Modern mathematical logic
• ISBN: 978-11-08-83314-1
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN0273596
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: /sebina/repository/catalogazione/documenti/Mileti.pdf
• Serie: Cambridge mathematical textbooks Cambridge . -Cambridge university